En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov. 在数理逻辑中,直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义(Brouwer–Heyting–Kolmogorov interpretation)或BHK释义是由鲁伊茲·布劳威尔、阿兰德·海廷和独立的由安德雷·柯尔莫哥洛夫提出的。